Toward the interpretation of non-constructive reasoning as non-monotonic learning

Toward the interpretation of non-constructive reasoning as non-monotonic learning

We study an abstract representation of the learning process, which we call learning sequence, aiming at a constructive interpretation of classical logical proofs, that we see as learning strategies, coming from Coquand’s game theoretic interpretation of classical logic. Inspired by Gold’s notion of limiting recursion and by the Limit-Computable Mathematics by Hayashi, we investigate the idea of...

Non-monotonic reasoning in interpretation

The original article of Thomason pursues two goals: first to outline the central logical issues of non-monotonic reasoning, and second to indicate possible applications of nonmonotonic reasoning techniques in linguistics. This appendix will follow up on Thomason’s second goal and show that linguists have taken up his invitation to use nonmonotonic logic as a formal tool. Particularly in the new...

Intentional Reasoning as Non-monotonic Reasoning

Intentional reasoning is also logical reasoning. Since it is a dynamic process that involves reasoning from beliefs, goals and time, it requires both a temporal semantics and a non-monotonic behavior. In this work we propose a model of intentional reasoning as a case of nonmonotonic reasoning. We also show the consistency and soundness of the system.

Non-Monotonic Spatial Reasoning

The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning —a crucial requirement within dynamic spatial systems— based on ...

Non monotonic reasoning pdf